Scratchpad allocation for concurrent embedded software
نویسندگان
چکیده
منابع مشابه
Efficient Scratchpad Allocation Algorithms for Energy Constrained Embedded Systems
In the context of portable embedded systems, reducing energy is one of the prime objectives. Memories are responsible for a significant percentage of a system’s aggregate energy consumption. Consequently, novel memories as well as novel memory hierarchies are being designed to reduce the energy consumption. Caches and scratchpads are two contrasting variants of memory architectures. The former ...
متن کاملNBTI-Aware Data Allocation Strategies for Scratchpad Based Embedded Systems
While performance and power continue to be important metrics for embedded systems, as CMOS technologies continue to shrink, new metrics such as variability and reliability have emerged as limiting factors in the design of modern embedded systems. In particular, the reliability impact of pMOS negative bias temperature instability (NBTI) has become a serious concern. Recent works have shown how c...
متن کاملConcurrent Models of Computation for Embedded Software
The prevailing abstractions for software are better suited to the traditional problem of computation, namely transformation of data, than to the problems of embedded software. These abstractions have weak notions of concurrency and the passage of time, which are key elements of embedded software. Innovations such as nesC/TinyOS (developed for programming very small programmable sensor nodes cal...
متن کاملOn-chip Scratchpad Memory Size Prediction and Allocation for Multiprocess Embedded Applications
Because on-chip memory is one of the most expensive computer system resources, embedded system designers prefer to use as little memory as possible. To guarantee realtime performance however, a certain amount of on-chip memory is required since, usually, the execution time of a task decreases as a function of the amount of on-chip memory it is allocated. Due to the need to ensure realtime perfo...
متن کاملFormal Verification of Concurrent Embedded Software
With the introduction of multicore hardware to embedded systems their vulnerability to race conditions has been drastically increased. Therefore, sufficient methods and techniques have to be developed in order to identify this kind of runtime errors. In this paper, we demonstrate an approach employing a formal technique in the verification process. We use MEMICS, which is a specialized constrai...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Programming Languages and Systems
سال: 2010
ISSN: 0164-0925,1558-4593
DOI: 10.1145/1734206.1734210